$\forall$$g$:IAbMonoid, $n$:$\mathbb{N}$. IsMonHom\{$g$,$g$\}($\lambda$$a$.$n$ $\cdot$ $a$)